Knihy od autora Carroll Morgan

Zobrazeno 1 – 6 z 6 výsledků

1. 

   Programming Methodology

   Annabelle Mclver, Carroll Morgan | Springer, Berlin, 2010

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   4471 Kč

   Koupit
2. 

   On the Refinement Calculus

   Carroll Morgan, Trevor Vickers | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
3. 

   Programming Methodology

   Annabelle McIver, Carroll Morgan | Springer, Berlin, 2003

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3313 Kč

   Koupit
4. 

   Formal Methods: Foundations and Applications

   Adenilso Simao, Carroll Morgan | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2126 Kč

   Koupit
5. 

   Science of Quantitative Information Flow

   Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey S. Smith | Springer International Publishing AG, 2019

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1977 Kč

   Koupit
6. 

   Abstraction, Refinement and Proof for Probabilistic Systems

   Annabelle McIver, Carroll Morgan | Springer-Verlag New York Inc., 2004

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   5094 Kč

   Koupit

Informujeme vás o každém kroku vyřizování objednávky. Zjistěte více